65497ff7c9ee6be26f5735f35bbdeb6319afda1a,k3.eclipse/fr.inria.diverse.k3.ui/src/fr/inria/diverse/k3/ui/tools/classpath/ManageClasspathPlugin.java,ManageClasspathPlugin,setClasspath,#IProject#IProgressMonitor#,23
Before Change
IClasspathEntry[] newClassPath = new IClasspathEntry[4];
IPackageFragmentRoot root = javaProject.getPackageFragmentRoot(sourceFolder);
newClassPath[0] = JavaCore.newSourceEntry(root.getPath());
newClassPath[1] = JavaCore.newContainerEntry(new Path("org.eclipse.jdt.launching.JRE_CONTAINER"));
newClassPath[2] = JavaCore.newContainerEntry(new Path("org.eclipse.pde.core.requiredPlugins"));
if (useSLE)
newClassPath[3] = JavaCore.newSourceEntry(javaProject.getPackageFragmentRoot(project.getFolder("src-gen")).getPath());
After Change
IPackageFragmentRoot root = javaProject.getPackageFragmentRoot(sourceFolder);
newClassPathArrayList.add( JavaCore.newSourceEntry(root.getPath()));
newClassPathArrayList.add(JavaCore.newContainerEntry(new Path("org.eclipse.jdt.launching.JRE_CONTAINER")));
newClassPathArrayList.add(JavaCore.newContainerEntry(new Path("org.eclipse.pde.core.requiredPlugins")));
if (useSLE)
newClassPathArrayList.add(JavaCore.newSourceEntry(javaProject.getPackageFragmentRoot(project.getFolder("src-gen")).getPath()));